Search results for "Real analytic geometry"
showing 3 items of 3 documents
Differentiability properties of the isoperimetric profile and topology of analytic Riemannian manifolds.
2009
Abstract: We show that smooth isoperimetric profiles are exceptional for real analytic Riemannian manifolds. For instance, under some extra assumptions, this can happen only on topological spheres
Semianalyticity of isoperimetric profiles
2009
It is shown that, in dimensions $<8$, isoperimetric profiles of compact real analytic Riemannian manifolds are semi-analytic.
Quantifier elimination in the quasi-analytic framework
2012
We associate to every compact polydisk B [belonging to ] Rn an algebra CB of real functions defined in a neighborhood of B. The collection of these algebras is supposed to be closed under several operations, such as composition and partial derivatives. Moreover, if the center of B is the origin, we assume that the algebra of germs at the origin of elements of CB is quasianalytic (it does not contain any flat germ). We define with these functions the collection of C-semianalytic and C-subanalytic sets according to the classical process in real analytic geometry. Our main result is an analogue of Tarski-Seidenberg's usual result for these sets. It says that the sub-C-subanalytic sets may be d…